| 1. | In some sense , our data dependence analysis is an exact method
静态测试在限定的范围内是精确测试。 |
| 2. | We also describe a dynamic method of detecting data dependence
同时，我们还提出了判断数据相关性的动态测试。 |
| 3. | Simulation results show that this two methods can detect data dependence not only exactly but also efficiently
模拟结果表明，该算法能够获得8 . 7的加速比。 |
| 4. | In this paper we propose a new simple approach for analyzing data dependence on dlx code using register queues
与常用的基于数据流图的方法不同，我们提出了一种通过寄存器队列检测指令间寄存器数据相关的算法。 |
| 5. | While executing the program , we memorize all the values of each array variable . the analysis will stop if data dependence is found
动态测试就是在解释执行程序的同时，记录串行程序对数组元素的访问，如果发现数据相关就终止测试。 |
| 6. | Although it is not an exact method in data dependence analysis , it can also process some difficult problems , for example , programs with complex subscripts in loops
动态测试是基于我们假设如果循环中存在数据相关，那么在循环的有限几次迭代中就会出现数据相关。 |
| 7. | The most common analysis is data dependence analysis , which is to determine the i tructio that use the variable ( register or memory location ) modified by another i truction
最通常的分析是数据依存性分析，它用来确定指令使用的变量（寄存器或内存位置）是否被另一条指令修改。 |
| 8. | The most common analysis is data dependence analysis , which is to determine the instructions that use the variable ( register or memory location ) modified by another instruction
最通常的分析是数据依存性分析，它用来确定指令使用的变量（寄存器或内存位置）是否被另一条指令修改。 |
| 9. | We can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence
我们采用了遍历程序路径和对路径进行符号执行的策略，这样可以尽可能早的发现程序中的不可执行路径，从而提高分析的效率。 |
| 10. | In static analysis , we generate the control flow graph of the sequential program and convert the graph to an extended finite state machine ( efsm ) . by analyzing the paths of the efsm , we can find whether there is data dependence in the program or not
数据相关性的静态测试中，我们首先生成程序的流程图，在遍历流程图的同时生成这个程序的扩展有限状态机( efsm ) ，然后调用路径分析工具对efsm的路径进行分析。 |
